悟空视频

    在线播放云盘网盘BT下载影视图书

    模态逻辑: 现代逻辑丛书 - 图书

    1996
    导演:周北海
    模态逻辑: 现代逻辑丛书
    图书

    模态逻辑: 现代逻辑丛书 - 图书

    1996
    导演:周北海
    模态逻辑: 现代逻辑丛书
    图书

    模态逻辑教程 - 图书

    导演:文学锋
    《模态逻辑教程》按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二部分介绍了命题模态逻辑的关系语义、公理系统、表列系统和其他语义。第三部分介绍了模态逻辑的不变性理论、可定义性理论、有穷模型理论、高阶完全性的证明,以及邻域语义和代数语义。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。《模态逻辑教程》有大量的例子和练习,可供读者更好地理解相关知识。
    模态逻辑教程
    搜索《模态逻辑教程》
    图书

    模态逻辑导论 - 图书

    1997
    导演:周北海
    北京市社会科学理论著作出版基金资助出版 本书在阐述抽象理论的同时,注意给出较详细的解释与说明,包括对一些“非常基本的”概念和问题的解释与说明,适用于文科类读者。
    模态逻辑导论
    搜索《模态逻辑导论》
    图书

    模态逻辑教程 - 图书

    导演:文学锋
    《模态逻辑教程》按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二部分介绍了命题模态逻辑的关系语义、公理系统、表列系统和其他语义。第三部分介绍了模态逻辑的不变性理论、可定义性理论、有穷模型理论、高阶完全性的证明,以及邻域语义和代数语义。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。《模态逻辑教程》有大量的例子和练习,可供读者更好地理解相关知识。
    模态逻辑教程
    搜索《模态逻辑教程》
    图书

    模态逻辑导论 - 图书

    1997
    导演:周北海
    北京市社会科学理论著作出版基金资助出版 本书在阐述抽象理论的同时,注意给出较详细的解释与说明,包括对一些“非常基本的”概念和问题的解释与说明,适用于文科类读者。
    模态逻辑导论
    搜索《模态逻辑导论》
    图书

    模态逻辑之为形而上学 - 图书

    2025
    导演:蒂莫西·威廉森
    模态逻辑之为形而上学
    搜索《模态逻辑之为形而上学》
    图书

    模态逻辑之为形而上学 - 图书

    2025
    导演:蒂莫西·威廉森
    模态逻辑之为形而上学
    搜索《模态逻辑之为形而上学》
    图书

    逻辑演算: 现代逻辑丛书 - 图书

    1993
    导演:刘壮虎
    逻辑演算: 现代逻辑丛书
    搜索《逻辑演算: 现代逻辑丛书》
    图书

    逻辑演算: 现代逻辑丛书 - 图书

    1993
    导演:刘壮虎
    逻辑演算: 现代逻辑丛书
    搜索《逻辑演算: 现代逻辑丛书》
    图书
    加载中...